Analysis of industrial control system software to detect semantic clones
- Creator: HK, Jnanamurthy , Jetley, Raoul , Henskens, Frans , Paul, David , Wallis, Mark , SD, Sudarsan
- Resource Type: conference paper
- Date: 2019
Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones
- Creator: Hogavanaghatta Kumaraswamy, Jnanamurthy
- Resource Type: thesis
- Date: 2019